1.
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Confe...
by Groote, Jan Friso, Larsen, ...
ISBN: 9783030720155
2.
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Confe...
by Groote, Jan Friso, Larsen, ...
ISBN: 9783030720124
3.
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, ...
by Larsen, Kim Guldstrand, Wil...
ISBN: 9783030270070
List Price: $59.99
4.
Reactive Systems: Modelling, Specification and Verification
by Aceto, Luca, Ing?lfsd?ttir,...
ISBN: 9780511814105
OUT OF STOCK
See Availability on Amazon5.
Reactive Systems: Modelling, Specification and Verification
by Aceto, Luca, Ing?lfsd?ttir,...
ISBN: 9780511332142